\newcommand{\assignment}[1]{\todo[color=green!30,inline]{#1}}
\newcommand{\overview}[1]{\todo[color=blue!30,inline]{#1}}
\newcommand{\sidenote}[1]{\todo[color=red!30]{#1}}

\newcommand{\Dom}{D}
\newcommand{\Unify}{\mathit{Unify}}

\newcommand{\NI}{N_\mathsf{I}}
\newcommand{\NR}{N_\mathsf{R}}
\newcommand{\NC}{N_\mathsf{C}}
\newcommand{\isa}{\sqsubseteq}
\newcommand{\K}{\mathcal{K}}
\newcommand{\T}{\mathcal{T}}
\newcommand{\A}{\mathcal{A}}
\newcommand{\I}{\mathcal{I}}
\newcommand{\D}{\mathcal{D}}
\renewcommand{\L}{\mathcal{L}}
\newcommand{\Pair}[2]{\left\langle#1,#2\right\rangle}
\newcommand{\EL}{\mathcal{EL}}
\newcommand{\ALC}{\mathcal{ALC}}
\newcommand{\pred}[1]{\mathsf{#1}}
\newcommand{\concept}[1]{\pred{#1}}
\newcommand{\role}[1]{\pred{#1}}
\newcommand{\indiv}[1]{\pred{#1}}
\DeclareMathOperator{\nnf}{nnf}

\newcommand{\Tuple}[1]{\langle#1\rangle}
\newcommand{\Triple}[3]{\Tuple{#1,#2,#3}}

\newcommand{\Self}{\mathrm{Self}}

\DeclareMathOperator*{\argmin}{\arg\!\min}

\DeclareMathOperator{\Tra}{Tra}
\DeclareMathOperator{\Ref}{Ref}
\DeclareMathOperator{\Irr}{Irr}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\Asy}{Asy}
\DeclareMathOperator{\Dis}{Dis}
\DeclareMathOperator{\Fun}{Fun}

